<html>
<head><meta charset="utf-8"><title>design meeting 2020.03.03 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html">design meeting 2020.03.03</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="189633111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633111">(Mar 03 2020 at 20:54)</a>:</h4>
<p>Meeting starts in 5 minutes <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="189633304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633304">(Mar 03 2020 at 20:57)</a>:</h4>
<p>Potential agenda items:</p>
<ul>
<li>Take a moment to celebrate the amount of work done this week <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></li>
<li>Sync-up of what everyone's working on</li>
<li>rustc integration</li>
<li>rust-analyzer, in particular <a href="https://github.com/rust-lang/chalk/issues/234" target="_blank" title="https://github.com/rust-lang/chalk/issues/234">ambiguous associated types</a></li>
</ul>



<a name="189633311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633311">(Mar 03 2020 at 20:57)</a>:</h4>
<p>beat me to it lol</p>



<a name="189633326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633326">(Mar 03 2020 at 20:57)</a>:</h4>
<p>To add to that:</p>



<a name="189633345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633345">(Mar 03 2020 at 20:57)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/pull/331" target="_blank" title="https://github.com/rust-lang/chalk/pull/331">https://github.com/rust-lang/chalk/pull/331</a></p>



<a name="189633453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633453">(Mar 03 2020 at 20:58)</a>:</h4>
<p>I don't know if we can have a solution for associated types at the moment.</p>



<a name="189633467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633467">(Mar 03 2020 at 20:59)</a>:</h4>
<p>But I guess Niko's recursive solver fits into that</p>



<a name="189633557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633557">(Mar 03 2020 at 20:59)</a>:</h4>
<p>Also, minutes from the last few meetings <a href="https://github.com/rust-lang/wg-traits/tree/master/minutes" target="_blank" title="https://github.com/rust-lang/wg-traits/tree/master/minutes">have been added</a>, and I'll try to keep it up to date</p>



<a name="189633653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633653">(Mar 03 2020 at 21:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="692">@WG-traits</span> Meeting time</p>



<a name="189633672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Barsky <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633672">(Mar 03 2020 at 21:00)</a>:</h4>
<p>(not a member, but listening in!)</p>



<a name="189633704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633704">(Mar 03 2020 at 21:01)</a>:</h4>
<p><span class="user-mention" data-user-id="198819">@David Barsky</span> you're always welcome :)</p>



<a name="189633723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633723">(Mar 03 2020 at 21:01)</a>:</h4>
<p>So there were <em>5</em> PRs merged into Chalk yesterday</p>



<a name="189633813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633813">(Mar 03 2020 at 21:02)</a>:</h4>
<p>Yeah, lots of improvements around the interner</p>



<a name="189633814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633814">(Mar 03 2020 at 21:02)</a>:</h4>
<p>Shoutout to <span class="user-mention" data-user-id="220273">@Jane Lusby</span> for the <code>Interner</code> work</p>



<a name="189633886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633886">(Mar 03 2020 at 21:03)</a>:</h4>
<p>Also, looks like the book wasn't updated?</p>



<a name="189633890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633890">(Mar 03 2020 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="189633892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633892">(Mar 03 2020 at 21:03)</a>:</h4>
<p>Indeed, lots of good stuff going on</p>



<a name="189633903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633903">(Mar 03 2020 at 21:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189633886" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189633886">said</a>:</p>
<blockquote>
<p>Also, looks like the book wasn't updated?</p>
</blockquote>
<p>hmm good call</p>



<a name="189633905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633905">(Mar 03 2020 at 21:03)</a>:</h4>
<p>oh yes</p>



<a name="189633913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633913">(Mar 03 2020 at 21:03)</a>:</h4>
<p><a href="http://rust-lang.github.io/chalk/book/engine.html" target="_blank" title="http://rust-lang.github.io/chalk/book/engine.html">http://rust-lang.github.io/chalk/book/engine.html</a></p>



<a name="189633928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633928">(Mar 03 2020 at 21:03)</a>:</h4>
<p>one other thing worth mentioning</p>



<a name="189633985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189633985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189633985">(Mar 03 2020 at 21:04)</a>:</h4>
<p>this coming Friday at 10am (Eastern time) is the compiler team design meeting, the topic is the "plan to centralize types"</p>



<a name="189634003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634003">(Mar 03 2020 at 21:04)</a>:</h4>
<p>I'll be around</p>



<a name="189634004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634004">(Mar 03 2020 at 21:04)</a>:</h4>
<p>I shared my write-up in <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/upcoming.20design.20meeting.20on.20chalk-ty">#wg-traits &gt; upcoming design meeting on chalk-ty</a></p>



<a name="189634029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634029">(Mar 03 2020 at 21:04)</a>:</h4>
<p>still need to look at the write-up though</p>



<a name="189634032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634032">(Mar 03 2020 at 21:04)</a>:</h4>
<p>I was just editing it and planning to share a bit more broadly in <a class="stream" data-stream-id="131828" href="/#narrow/stream/131828-t-compiler">#t-compiler</a></p>



<a name="189634081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634081">(Mar 03 2020 at 21:05)</a>:</h4>
<p>the short version is:</p>
<ul>
<li>describe how chalk-ty is generic and the overall setup</li>
<li>discuss how we could refactor rustc to share a library</li>
</ul>



<a name="189634109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634109">(Mar 03 2020 at 21:05)</a>:</h4>
<p>exciting stuff</p>



<a name="189634122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634122">(Mar 03 2020 at 21:05)</a>:</h4>
<p>but the last point is interesting, as I think there are two general routes -- <em>probably</em> the way that seems most practical to me, at least to start, is to extract the library "in tree" as a kind of rustc-ty crate</p>



<a name="189634166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634166">(Mar 03 2020 at 21:06)</a>:</h4>
<p>then either publish that to <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> and have chalk use it, for now, or else vice versa? it depends a bit on how we want things setup</p>



<a name="189634221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634221">(Mar 03 2020 at 21:06)</a>:</h4>
<p>that was the part I was just editing</p>



<a name="189634236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634236">(Mar 03 2020 at 21:06)</a>:</h4>
<p>I think working on the rustc integration will really help inform that</p>



<a name="189634245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634245">(Mar 03 2020 at 21:06)</a>:</h4>
<p>I'm not sure if that is worth trying to "decide" at this point or maybe it's worth worrying about when it gets closer</p>



<a name="189634296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634296">(Mar 03 2020 at 21:06)</a>:</h4>
<p>yes, rustc integration is one question -- i.e., I think the end goal is that they share a library, and hence have zero "impedance mismatch"</p>



<a name="189634304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634304">(Mar 03 2020 at 21:06)</a>:</h4>
<p>There are a lot of rust types that just map to chalk <code>TyData::Apply</code> right now</p>



<a name="189634332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634332">(Mar 03 2020 at 21:07)</a>:</h4>
<p>yep</p>



<a name="189634373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634373">(Mar 03 2020 at 21:07)</a>:</h4>
<p>but we could have a time when we are (a) creating rustc-ty and (b) also having chalk-ty that we map to when  using <code>-Zchalk</code>, and the two are growing more similar, and that would be ok</p>



<a name="189634382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634382">(Mar 03 2020 at 21:07)</a>:</h4>
<p>Late but I'm here</p>



<a name="189634478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634478">(Mar 03 2020 at 21:08)</a>:</h4>
<p>So, what all would be in <code>rustc-ty</code>?</p>



<a name="189634480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634480">(Mar 03 2020 at 21:08)</a>:</h4>
<p>that would definitely make it easier to make changes from chalk's side</p>



<a name="189634486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634486">(Mar 03 2020 at 21:08)</a>:</h4>
<p><code>Ty</code>?</p>



<a name="189634493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634493">(Mar 03 2020 at 21:08)</a>:</h4>
<p><code>TypeFolder</code>?</p>



<a name="189634531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634531">(Mar 03 2020 at 21:09)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189634478" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189634478">said</a>:</p>
<blockquote>
<p>So, what all would be in <code>rustc-ty</code>?</p>
</blockquote>
<p>same as what is in chalk-ir, more or less</p>



<a name="189634549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634549">(Mar 03 2020 at 21:09)</a>:</h4>
<p>at least to start</p>



<a name="189634653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634653">(Mar 03 2020 at 21:10)</a>:</h4>
<p>I feel like actually <code>TypeFolder</code> would actually be a good place to start?</p>



<a name="189634656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634656">(Mar 03 2020 at 21:10)</a>:</h4>
<p>maybe?</p>



<a name="189634688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634688">(Mar 03 2020 at 21:10)</a>:</h4>
<p>Not sure what you mean by that</p>



<a name="189634738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634738">(Mar 03 2020 at 21:11)</a>:</h4>
<p>I guess I'm thinking about how to split out a library that both chalk_ir and rustc-ty can depend on</p>



<a name="189634744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634744">(Mar 03 2020 at 21:11)</a>:</h4>
<p>but I don't know if that's worth it</p>



<a name="189634898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634898">(Mar 03 2020 at 21:12)</a>:</h4>
<p>I mean eventually I think chalk-ir and rustc-ty shiould be the same library, whatever it's called</p>



<a name="189634914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634914">(Mar 03 2020 at 21:12)</a>:</h4>
<p>I just think that it'll be easier to do the refactoring of rustc "in tree"</p>



<a name="189634942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634942">(Mar 03 2020 at 21:13)</a>:</h4>
<p>right</p>



<a name="189634955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634955">(Mar 03 2020 at 21:13)</a>:</h4>
<p>I am also somewhat unclear on how we should setup our brave, new library-ified world</p>



<a name="189634970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634970">(Mar 03 2020 at 21:13)</a>:</h4>
<p>I personally would like to have multiple repos, as I think the dev experience is so much nicer, but it's also kind of a pain</p>



<a name="189634997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189634997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189634997">(Mar 03 2020 at 21:13)</a>:</h4>
<p>i.e., coordinating rustc changes and having to publish new versions to <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> and the like</p>



<a name="189635047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635047">(Mar 03 2020 at 21:14)</a>:</h4>
<p>there was some related discussion about that for tooling around rustc</p>



<a name="189635049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635049">(Mar 03 2020 at 21:14)</a>:</h4>
<p>it's kind of a separate topic but it will become something we have to decide</p>



<a name="189635060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635060">(Mar 03 2020 at 21:14)</a>:</h4>
<p>yeah, was going to mention that</p>



<a name="189635080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635080">(Mar 03 2020 at 21:14)</a>:</h4>
<p><a class="stream-topic" data-stream-id="131828" href="/#narrow/stream/131828-t-compiler/topic/toolstate.20breakage">#t-compiler &gt; toolstate breakage</a> had some interesting ideas</p>



<a name="189635104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635104">(Mar 03 2020 at 21:14)</a>:</h4>
<p>I don't have strong opinions one way or the other?</p>



<a name="189635106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635106">(Mar 03 2020 at 21:14)</a>:</h4>
<p>but should we circle back to our agenda?</p>



<a name="189635112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635112">(Mar 03 2020 at 21:14)</a>:</h4>
<p>sure</p>



<a name="189635122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635122">(Mar 03 2020 at 21:15)</a>:</h4>
<p>(this feels like something we can dig into async, or on Fri :)</p>



<a name="189635139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635139">(Mar 03 2020 at 21:15)</a>:</h4>
<p>So, sync-up?</p>



<a name="189635159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635159">(Mar 03 2020 at 21:15)</a>:</h4>
<p>I'm still mainly working on the rustc integration</p>



<a name="189635203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635203">(Mar 03 2020 at 21:15)</a>:</h4>
<p>Had some time on the train last week, so I used my offline time to do a couple small things in Chalk</p>



<a name="189635276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635276">(Mar 03 2020 at 21:16)</a>:</h4>
<p><span class="user-mention" data-user-id="220273">@Jane Lusby</span>'s <code>Interner</code> changes work well</p>



<a name="189635315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635315">(Mar 03 2020 at 21:17)</a>:</h4>
<p>It was mentioned that those changes were fairly important for rustc integration, did that unblock further work?</p>



<a name="189635330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635330">(Mar 03 2020 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="220273">@Jane Lusby</span> are you pursuing the follow-ups there?</p>



<a name="189635356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635356">(Mar 03 2020 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> in progress :)</p>



<a name="189635358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635358">(Mar 03 2020 at 21:17)</a>:</h4>
<p>or rather, planning to, no  pressure :)</p>



<a name="189635374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635374">(Mar 03 2020 at 21:17)</a>:</h4>
<p>yea, I hope to get more done on the intern_parameter pr today based on comments yall left this morning</p>



<a name="189635384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635384">(Mar 03 2020 at 21:17)</a>:</h4>
<p>I got around the blocking temporarily by unsafe lifetime transmutes (for testing)</p>



<a name="189635397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635397">(Mar 03 2020 at 21:17)</a>:</h4>
<p>but that's not a real solution</p>



<a name="189635407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635407">(Mar 03 2020 at 21:18)</a>:</h4>
<p>Ps, I've been trying to update the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html" target="_blank" title="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a> with some of the latest developments</p>



<a name="189635502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635502">(Mar 03 2020 at 21:18)</a>:</h4>
<p>I updated the wg-traits project a bit</p>



<a name="189635570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635570">(Mar 03 2020 at 21:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189635407" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189635407">said</a>:</p>
<blockquote>
<p>Ps, I've been trying to update the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html" target="_blank" title="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a> with some of the latest developments</p>
</blockquote>
<p>ooh fancy</p>



<a name="189635667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635667">(Mar 03 2020 at 21:19)</a>:</h4>
<p>I still feel like we're kind of laying the track as we go a <em>bit</em> more than I would like when it comes to planning but that's ok :)</p>



<a name="189635693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635693">(Mar 03 2020 at 21:19)</a>:</h4>
<p>Does the watch mean "come back to it later"</p>



<a name="189635714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635714">(Mar 03 2020 at 21:19)</a>:</h4>
<p>yeah, blocked</p>



<a name="189635750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635750">(Mar 03 2020 at 21:19)</a>:</h4>
<p><span aria-label="raising hand" class="emoji emoji-1f64b" role="img" title="raising hand">:raising_hand:</span> means "help wanted"</p>



<a name="189635763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635763">(Mar 03 2020 at 21:19)</a>:</h4>
<p><span aria-label="working on it" class="emoji emoji-1f6e0" role="img" title="working on it">:working_on_it:</span>️ means "assigned"</p>



<a name="189635771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635771">(Mar 03 2020 at 21:19)</a>:</h4>
<p>and there are links to gh issues</p>



<a name="189635794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635794">(Mar 03 2020 at 21:20)</a>:</h4>
<p>planning further ahead is something for next sprint <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="189635823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635823">(Mar 03 2020 at 21:20)</a>:</h4>
<p>You can cross off remove old chalk support</p>



<a name="189635850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635850">(Mar 03 2020 at 21:20)</a>:</h4>
<p>true, that is at least assigned</p>



<a name="189635869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635869">(Mar 03 2020 at 21:20)</a>:</h4>
<p>merged?</p>



<a name="189635882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635882">(Mar 03 2020 at 21:21)</a>:</h4>
<p>did it merge? I am behind on GH notifications again</p>



<a name="189635889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635889">(Mar 03 2020 at 21:21)</a>:</h4>
<p>yeah last night</p>



<a name="189635896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635896">(Mar 03 2020 at 21:21)</a>:</h4>
<p>already reverted/rebased in my PR</p>



<a name="189635915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635915">(Mar 03 2020 at 21:21)</a>:</h4>
<p>(I was thinking btw that updating the skill tree to track what's going on etc might be a nice structure for the meeting)</p>



<a name="189635924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635924">(Mar 03 2020 at 21:21)</a>:</h4>
<p>I've been kind of slow on the debruijn stuff</p>



<a name="189635941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635941">(Mar 03 2020 at 21:22)</a>:</h4>
<p>I think that's actually the next "blocker" for rustc</p>



<a name="189635983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189635983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189635983">(Mar 03 2020 at 21:22)</a>:</h4>
<p>I feel like I've said that</p>



<a name="189636017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636017">(Mar 03 2020 at 21:22)</a>:</h4>
<p>I'm not entirely sure how to go from Chalk to rustc</p>



<a name="189636024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636024">(Mar 03 2020 at 21:22)</a>:</h4>
<p>like, with a given solution</p>



<a name="189636045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636045">(Mar 03 2020 at 21:23)</a>:</h4>
<p>Oh, and "well known" traits (aka Sized)</p>



<a name="189636062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636062">(Mar 03 2020 at 21:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189635941" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189635941">said</a>:</p>
<blockquote>
<p>I think that's actually the next "blocker" for rustc</p>
</blockquote>
<p>agreed</p>



<a name="189636070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636070">(Mar 03 2020 at 21:23)</a>:</h4>
<p>this is why I started on it</p>



<a name="189636083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636083">(Mar 03 2020 at 21:23)</a>:</h4>
<p>I'll try to carve out some coding time, I don't think it'll take me <em>that</em> long (famous last words)</p>



<a name="189636137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636137">(Mar 03 2020 at 21:24)</a>:</h4>
<p>as for well-known traits, those are good items to identify, I am going to add to skill tree now, we can talk over the plan there, did you do any experimenting with <code>T: Sized</code>?</p>



<a name="189636141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636141">(Mar 03 2020 at 21:24)</a>:</h4>
<p>I'm gonna pull that out on you when it takes a long time</p>



<a name="189636155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636155">(Mar 03 2020 at 21:24)</a>:</h4>
<p>I didn't do any experimenting</p>



<a name="189636176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636176">(Mar 03 2020 at 21:24)</a>:</h4>
<p>I'm more or less hijacking the auto trait methods for initial testing</p>



<a name="189636185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636185">(Mar 03 2020 at 21:24)</a>:</h4>
<p>but that's not right</p>



<a name="189636191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636191">(Mar 03 2020 at 21:24)</a>:</h4>
<p>also, <span class="user-mention" data-user-id="125131">@detrumi</span>, I will try to review the impl trait PR, but I guess the question <em>now</em> is to look at "next steps", like how we would itnegrate this into rust-analyzer?</p>



<a name="189636249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636249">(Mar 03 2020 at 21:25)</a>:</h4>
<p>Right, that would be a good way to test it</p>



<a name="189636350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636350">(Mar 03 2020 at 21:26)</a>:</h4>
<p>Type aliases (the third kind of alias next to associated types and impl trait types) is still missing, but I feel like that's both easier and less important</p>



<a name="189636384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636384">(Mar 03 2020 at 21:26)</a>:</h4>
<p>Exciting</p>



<a name="189636394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636394">(Mar 03 2020 at 21:27)</a>:</h4>
<p>I am trying to think</p>



<a name="189636402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636402">(Mar 03 2020 at 21:27)</a>:</h4>
<p>the PR presently assumes that the hidden type is known</p>



<a name="189636613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636613">(Mar 03 2020 at 21:28)</a>:</h4>
<p>Wouldn't that be the most common case?</p>



<a name="189636661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636661">(Mar 03 2020 at 21:28)</a>:</h4>
<p>yeah. I'm just pondering the "full workflow" and how best to think about it</p>



<a name="189636666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636666">(Mar 03 2020 at 21:28)</a>:</h4>
<p>by that I mean</p>



<a name="189636675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636675">(Mar 03 2020 at 21:29)</a>:</h4>
<p>we need to <em>do</em> the inference, that's not necessarily chalk's job, more like type checker</p>



<a name="189636701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636701">(Mar 03 2020 at 21:29)</a>:</h4>
<p>I just thought it might be useful to sketch out how rustc does this and think carefully about "this part is chalk's job" and "this part is the host environment's job", i.e., to show how it's expeted to be used</p>



<a name="189636709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636709">(Mar 03 2020 at 21:29)</a>:</h4>
<p>maybe chat about it with <span class="user-mention" data-user-id="129457">@Florian Diebold</span></p>



<a name="189636724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636724">(Mar 03 2020 at 21:29)</a>:</h4>
<p>Another question about rustc integration?</p>



<a name="189636769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636769">(Mar 03 2020 at 21:30)</a>:</h4>
<p>How do we/should we handle references?</p>



<a name="189636798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636798">(Mar 03 2020 at 21:30)</a>:</h4>
<p>references?</p>



<a name="189636810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636810">(Mar 03 2020 at 21:30)</a>:</h4>
<p><code>&amp;T</code></p>



<a name="189636817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636817">(Mar 03 2020 at 21:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636701" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636701">said</a>:</p>
<blockquote>
<p>I just thought it might be useful to sketch out how rustc does this and think carefully about "this part is chalk's job" and "this part is the host environment's job", i.e., to show how it's expeted to be used</p>
</blockquote>
<p>wouldn't it be easier to experiment with this with RA? Or do you think we might put the separation line in the wrong place?</p>



<a name="189636873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636873">(Mar 03 2020 at 21:31)</a>:</h4>
<p>(also, <span class="user-mention" data-user-id="220273">@Jane Lusby</span>, I know I still owe you some stuff on <code>Predicate</code> refactorings etc, I was thinking about that today and about which would be best place to start)</p>



<a name="189636924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636924">(Mar 03 2020 at 21:32)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I think they are just Apply</p>



<a name="189636987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189636987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189636987">(Mar 03 2020 at 21:32)</a>:</h4>
<p>Its not urgent given you gave me a bunch more to work on for the Interner</p>



<a name="189637000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637000">(Mar 03 2020 at 21:32)</a>:</h4>
<p>i mean, unless you'd rather me focus on the predicate</p>



<a name="189637020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637020">(Mar 03 2020 at 21:32)</a>:</h4>
<p>its up to you, I dont have a good picture on which is more urgent</p>



<a name="189637022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637022">(Mar 03 2020 at 21:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636924" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636924">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> I think they are just Apply</p>
</blockquote>
<p>Do we have to worry about the lifetime though?</p>



<a name="189637046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637046">(Mar 03 2020 at 21:33)</a>:</h4>
<p>Apply with two arguments</p>



<a name="189637053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637053">(Mar 03 2020 at 21:33)</a>:</h4>
<p>one lifetime, one type</p>



<a name="189637076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637076">(Mar 03 2020 at 21:33)</a>:</h4>
<p>see also <a href="http://rust-lang.github.io/chalk/book/types/rust_types.html#mapping-to-rustc-types" target="_blank" title="http://rust-lang.github.io/chalk/book/types/rust_types.html#mapping-to-rustc-types">this table</a> mapping rustc types to chalk-ir</p>



<a name="189637083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637083">(Mar 03 2020 at 21:33)</a>:</h4>
<p>though not in great detail</p>



<a name="189637122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637122">(Mar 03 2020 at 21:33)</a>:</h4>
<p>Oh I forgot about that</p>



<a name="189637191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637191">(Mar 03 2020 at 21:34)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636817" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189636817">said</a>:</p>
<blockquote>
<p>wouldn't it be easier to experiment with this with RA? Or do you think we might put the separation line in the wrong place?</p>
</blockquote>
<p>sorry, yes, I think it's useful to also compare against rustc, but I would expect to be doing the experimentation in rust-analyzer</p>



<a name="189637215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637215">(Mar 03 2020 at 21:34)</a>:</h4>
<p>that said, <span class="user-mention" data-user-id="232957">@Jack Huey</span>, one of the things I am not convinced of yet</p>



<a name="189637219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637219">(Mar 03 2020 at 21:34)</a>:</h4>
<p>when it comes to chalk-ir</p>



<a name="189637227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637227">(Mar 03 2020 at 21:34)</a>:</h4>
<p>is that I think we may wish to expand or modify set of variants</p>



<a name="189637244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637244">(Mar 03 2020 at 21:34)</a>:</h4>
<p>also, I think that we would need to make</p>



<a name="189637285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637285">(Mar 03 2020 at 21:35)</a>:</h4>
<p>well I guess we just need to expand <a href="http://rust-lang.github.io/chalk/chalk_ir/enum.TypeName.html" target="_blank" title="http://rust-lang.github.io/chalk/chalk_ir/enum.TypeName.html"><code>TypeName</code></a> potentially</p>



<a name="189637290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637290">(Mar 03 2020 at 21:35)</a>:</h4>
<p>to include all those cases</p>



<a name="189637293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637293">(Mar 03 2020 at 21:35)</a>:</h4>
<p>e.g., references etc</p>



<a name="189637305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637305">(Mar 03 2020 at 21:35)</a>:</h4>
<p>at first I was going to say that</p>



<a name="189637320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637320">(Mar 03 2020 at 21:35)</a>:</h4>
<p>TypeName should be part of the <code>Interner</code> trait, so that e.g. rustc can customize it</p>



<a name="189637344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637344">(Mar 03 2020 at 21:35)</a>:</h4>
<p>that might be convenient in the <em>short term</em> but upon further reflection I think it's not what we want <em>long term</em></p>



<a name="189637355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637355">(Mar 03 2020 at 21:36)</a>:</h4>
<p>So far, I just made a wrapper around <code>DefId</code></p>



<a name="189637398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637398">(Mar 03 2020 at 21:36)</a>:</h4>
<p>since the goal is for chalk-ir to be "the shared type library" so it should define all the relevant kinds of types</p>



<a name="189637406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637406">(Mar 03 2020 at 21:36)</a>:</h4>
<p>for comparison, <a href="https://github.com/rust-analyzer/rust-analyzer/blob/5abc45982b5558d4c5f8753cb531a4a0858faa0f/crates/ra_hir_ty/src/lib.rs#L71-L145" target="_blank" title="https://github.com/rust-analyzer/rust-analyzer/blob/5abc45982b5558d4c5f8753cb531a4a0858faa0f/crates/ra_hir_ty/src/lib.rs#L71-L145">here</a>'s RA's <code>TypeCtor</code> (which we intern to get a <code>StructId</code> for Chalk)</p>



<a name="189637423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637423">(Mar 03 2020 at 21:36)</a>:</h4>
<p>that's useful</p>



<a name="189637432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637432">(Mar 03 2020 at 21:36)</a>:</h4>
<p>yes</p>



<a name="189637466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637466">(Mar 03 2020 at 21:37)</a>:</h4>
<p>(we don't deal with lifetimes so far though)</p>



<a name="189637607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637607">(Mar 03 2020 at 21:38)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> woudl you be interested in finding a time to chat a bit about how to integrate impl trait with rust-analyzer plus chalk?</p>



<a name="189637618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637618">(Mar 03 2020 at 21:39)</a>:</h4>
<p>(we could even chat a bit now, not sure <span class="user-mention" data-user-id="232957">@Jack Huey</span> where we are on our agenda :)</p>



<a name="189637632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637632">(Mar 03 2020 at 21:39)</a>:</h4>
<p>sure</p>



<a name="189637651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637651">(Mar 03 2020 at 21:39)</a>:</h4>
<p>rustc integration was one of the agenda items</p>



<a name="189637689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637689">(Mar 03 2020 at 21:40)</a>:</h4>
<p>current status of rustc integration in <em>my</em> mind is "jack is trying it out and making updates to chalk that seem useful"</p>



<a name="189637714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637714">(Mar 03 2020 at 21:40)</a>:</h4>
<p>basically</p>



<a name="189637720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637720">(Mar 03 2020 at 21:40)</a>:</h4>
<p>I wouldn't want to kick the 'ambiguous associated types' point off the agenda though ;)</p>



<a name="189637730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637730">(Mar 03 2020 at 21:40)</a>:</h4>
<p>but maybe I should be reviewing your branch to help share what I had in mind? e.g. it sounds like we should discuss the type-mapping and whether to extend <code>TypeName</code> or what</p>



<a name="189637733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637733">(Mar 03 2020 at 21:40)</a>:</h4>
<p>but more like "jack is doing his best to figure things out"</p>



<a name="189637742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637742">(Mar 03 2020 at 21:40)</a>:</h4>
<p>yes please review</p>



<a name="189637744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637744">(Mar 03 2020 at 21:40)</a>:</h4>
<p>I did already plan to review just didn't get to it</p>



<a name="189637773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637773">(Mar 03 2020 at 21:41)</a>:</h4>
<p><span class="user-mention silent" data-user-id="129457">Florian Diebold</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189637720" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189637720">said</a>:</p>
<blockquote>
<p>I wouldn't want to kick the 'ambiguous associated types' point off the agenda though ;)</p>
</blockquote>
<p>as I type "other than that, <span class="user-mention" data-user-id="125131">@detrumi</span> suggested associated types?"</p>



<a name="189637805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637805">(Mar 03 2020 at 21:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> let's plan out a time on Friday to discuss? If you have time</p>



<a name="189637813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637813">(Mar 03 2020 at 21:41)</a>:</h4>
<p>And we can move on for now</p>



<a name="189637855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637855">(Mar 03 2020 at 21:42)</a>:</h4>
<p>~20 minutes left</p>



<a name="189637861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637861">(Mar 03 2020 at 21:42)</a>:</h4>
<p>so, associated types</p>



<a name="189637872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637872">(Mar 03 2020 at 21:42)</a>:</h4>
<p>I don't think we really made any progress here</p>



<a name="189637873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637873">(Mar 03 2020 at 21:42)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/234" target="_blank" title="https://github.com/rust-lang/chalk/issues/234">https://github.com/rust-lang/chalk/issues/234</a></p>



<a name="189637889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637889">(Mar 03 2020 at 21:42)</a>:</h4>
<p>Yeah, I am still interested in trying the recursive solver approach</p>



<a name="189637897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637897">(Mar 03 2020 at 21:42)</a>:</h4>
<p>But I haven't made any progress towards doing that</p>



<a name="189637918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637918">(Mar 03 2020 at 21:43)</a>:</h4>
<p>I had tried to do some work by sort of "tracking" the associated type history (put extremely simply, since I don't quite remember)</p>



<a name="189637925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637925">(Mar 03 2020 at 21:43)</a>:</h4>
<p>There are I guess a few other candidate ideas, e.g. <span class="user-mention" data-user-id="232957">@Jack Huey</span> had the approach where we augment types to track when a result came from normalization</p>



<a name="189637930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637930">(Mar 03 2020 at 21:43)</a>:</h4>
<p>(we had a Hackmd doc somewhere)</p>



<a name="189637949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189637949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189637949">(Mar 03 2020 at 21:43)</a>:</h4>
<p>I need to dig those back up</p>



<a name="189638001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638001">(Mar 03 2020 at 21:44)</a>:</h4>
<p>the big thing with my branches that I think we decided against was removing <code>Normalize</code></p>



<a name="189638036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638036">(Mar 03 2020 at 21:44)</a>:</h4>
<p>I'm still nervous about the idea of having types that carry more information than the type itself</p>



<a name="189638047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638047">(Mar 03 2020 at 21:44)</a>:</h4>
<p>e.g., that have the "history" of the associated type they came from</p>



<a name="189638065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638065">(Mar 03 2020 at 21:45)</a>:</h4>
<p><em>but</em></p>



<a name="189638080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638080">(Mar 03 2020 at 21:45)</a>:</h4>
<p>hmm so there is this other algorithm</p>



<a name="189638088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638088">(Mar 03 2020 at 21:45)</a>:</h4>
<p>it's called congruence closure</p>



<a name="189638098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638098">(Mar 03 2020 at 21:45)</a>:</h4>
<p>maybe not all <em>that</em> directly relevant but the idea is</p>



<a name="189638108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638108">(Mar 03 2020 at 21:45)</a>:</h4>
<p>suppose you know that <code>X = Y</code></p>



<a name="189638112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638112">(Mar 03 2020 at 21:45)</a>:</h4>
<p>then you also know that <code>F(X) = F(Y)</code></p>



<a name="189638116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638116">(Mar 03 2020 at 21:45)</a>:</h4>
<p>(presuming <code>F</code> is some pure function)</p>



<a name="189638166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638166">(Mar 03 2020 at 21:46)</a>:</h4>
<p>hmm</p>



<a name="189638170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638170">(Mar 03 2020 at 21:46)</a>:</h4>
<p>and you also know that <code>F(G(X, Y)) = F(G(Y,  X))</code> and so forth</p>



<a name="189638193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638193">(Mar 03 2020 at 21:46)</a>:</h4>
<p>this is relevant to associated types for sure in that associated types (and any alias) can be seen as a "type function"</p>



<a name="189638209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638209">(Mar 03 2020 at 21:47)</a>:</h4>
<p>so <code>&lt;T as Iterator&gt;::Item</code> is kind of <code>(Iterator::Item)(T)</code></p>



<a name="189638230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638230">(Mar 03 2020 at 21:47)</a>:</h4>
<p>and you can view normalizing as creating a "congruence edge", i.e., <code>(Iterator::Item)(vec::IntoIter&lt;u32&gt;) = u32</code></p>



<a name="189638256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638256">(Mar 03 2020 at 21:47)</a>:</h4>
<p>at some point I had an implementation of this algorithm for congruence closure</p>



<a name="189638262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638262">(Mar 03 2020 at 21:47)</a>:</h4>
<p>that would take into account facts like that</p>



<a name="189638264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638264">(Mar 03 2020 at 21:48)</a>:</h4>
<p>and compute the implications</p>



<a name="189638313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638313">(Mar 03 2020 at 21:48)</a>:</h4>
<p>(the code may still be in the ena library)</p>



<a name="189638323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638323">(Mar 03 2020 at 21:48)</a>:</h4>
<p>sounds somewhat interesting</p>



<a name="189638339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638339">(Mar 03 2020 at 21:48)</a>:</h4>
<p>I was intending for it to be used with associated types but I never quite figured out how :)</p>



<a name="189638356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638356">(Mar 03 2020 at 21:48)</a>:</h4>
<p>but in short</p>



<a name="189638358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638358">(Mar 03 2020 at 21:48)</a>:</h4>
<p>I guess the question is <em>when</em> do you deal with congruence edges</p>



<a name="189638368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638368">(Mar 03 2020 at 21:48)</a>:</h4>
<p>while I don't love the idea of tracking <em>in the type</em> that it "came from" a normalization</p>



<a name="189638385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638385">(Mar 03 2020 at 21:49)</a>:</h4>
<p>ah, well, there is another complication</p>



<a name="189638388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638388">(Mar 03 2020 at 21:49)</a>:</h4>
<p>let me finish my thought before I get to it</p>



<a name="189638442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638442">(Mar 03 2020 at 21:49)</a>:</h4>
<p>I was going to say I don't mind the idea of tracking <em>outside</em> the type that we found things to be normalized</p>



<a name="189638452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638452">(Mar 03 2020 at 21:49)</a>:</h4>
<p>i.e., maybe the <code>Forest</code> also tracks "congruence edges"</p>



<a name="189638500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638500">(Mar 03 2020 at 21:50)</a>:</h4>
<p>and then we could use that to normalize or disambiguate somewhere</p>



<a name="189638525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638525">(Mar 03 2020 at 21:50)</a>:</h4>
<p>one complication though is that you also need to take the environment into account</p>



<a name="189638548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638548">(Mar 03 2020 at 21:50)</a>:</h4>
<p>Sounds similar to just how inference variables work?</p>



<a name="189638562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638562">(Mar 03 2020 at 21:50)</a>:</h4>
<p>eh, maybe not</p>



<a name="189638568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638568">(Mar 03 2020 at 21:51)</a>:</h4>
<p>I'm not 100% sure what I'm proposing yet :)</p>



<a name="189638571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638571">(Mar 03 2020 at 21:51)</a>:</h4>
<p>I'm sort of imagining though that</p>



<a name="189638575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638575">(Mar 03 2020 at 21:51)</a>:</h4>
<p>when we solve a <code>Normalize</code> goal, for example</p>



<a name="189638585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638585">(Mar 03 2020 at 21:51)</a>:</h4>
<p>we might "register" that normalization somewhere</p>



<a name="189638610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638610">(Mar 03 2020 at 21:51)</a>:</h4>
<p>yeah, I'm following</p>



<a name="189638647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638647">(Mar 03 2020 at 21:52)</a>:</h4>
<p>it is making the engine (potentially?) more aware of normalization, though not necessarily, it could happen at different levels</p>



<a name="189638687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638687">(Mar 03 2020 at 21:52)</a>:</h4>
<p>I guess then that the "aggregator" would say "ah, we have two distinct types,</p>



<a name="189638691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638691">(Mar 03 2020 at 21:52)</a>:</h4>
<p>but one is a placeholder,</p>



<a name="189638697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638697">(Mar 03 2020 at 21:52)</a>:</h4>
<p>let me check if that placeholder was ever normalized with this type"</p>



<a name="189638711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638711">(Mar 03 2020 at 21:53)</a>:</h4>
<p>(this is roughly what your branch was doing, <span class="user-mention" data-user-id="232957">@Jack Huey</span>?)</p>



<a name="189638722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638722">(Mar 03 2020 at 21:53)</a>:</h4>
<p>(except that the data was sort of stored "in" the type, right?)</p>



<a name="189638729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638729">(Mar 03 2020 at 21:53)</a>:</h4>
<p>uh, I don't remember</p>



<a name="189638732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638732">(Mar 03 2020 at 21:53)</a>:</h4>
<p>trying to think</p>



<a name="189638739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638739">(Mar 03 2020 at 21:53)</a>:</h4>
<p>I think so, yes</p>



<a name="189638748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638748">(Mar 03 2020 at 21:53)</a>:</h4>
<p>I believe so</p>



<a name="189638764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638764">(Mar 03 2020 at 21:53)</a>:</h4>
<p>I didn't <em>quite</em> get there</p>



<a name="189638816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638816">(Mar 03 2020 at 21:54)</a>:</h4>
<p>it would help address the <em>ambiguity</em> but there is another concern that is not addressed by what I wrote above</p>



<a name="189638828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638828">(Mar 03 2020 at 21:54)</a>:</h4>
<p>which is that the SLG solver today winds up doing "extra" work, since it will always get two answers for normalizeable assoc type</p>



<a name="189638833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638833">(Mar 03 2020 at 21:54)</a>:</h4>
<p>and it will process them both</p>



<a name="189638842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638842">(Mar 03 2020 at 21:54)</a>:</h4>
<p>even if they wind up being "equivalent" in the end</p>



<a name="189638847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638847">(Mar 03 2020 at 21:54)</a>:</h4>
<p>that may or may not matter in practice</p>



<a name="189638851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638851">(Mar 03 2020 at 21:54)</a>:</h4>
<p>but it was the kind of thing the recursive solver was trying to address</p>



<a name="189638874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638874">(Mar 03 2020 at 21:55)</a>:</h4>
<p>it might be possible to use the "congruency table" to address also the extra answer problem</p>



<a name="189638896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638896">(Mar 03 2020 at 21:55)</a>:</h4>
<p>but less obvious just where to insert checks</p>



<a name="189638901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638901">(Mar 03 2020 at 21:55)</a>:</h4>
<p>Yeah</p>



<a name="189638948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189638948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189638948">(Mar 03 2020 at 21:56)</a>:</h4>
<p>I mean, you could imagine that could be checked in <code>pursue_answer</code></p>



<a name="189639043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639043">(Mar 03 2020 at 21:57)</a>:</h4>
<p>Alright, did not expect the issue to be that complicated <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="189639051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639051">(Mar 03 2020 at 21:57)</a>:</h4>
<p>I think I'll have to think more about this</p>



<a name="189639057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639057">(Mar 03 2020 at 21:57)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> it's quite a complicated issue</p>



<a name="189639068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639068">(Mar 03 2020 at 21:57)</a>:</h4>
<p>Anything else to discuss in the last 3 minutes?</p>



<a name="189639074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639074">(Mar 03 2020 at 21:57)</a>:</h4>
<p>probably not</p>



<a name="189639139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639139">(Mar 03 2020 at 21:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I'll try to think about this, review my branches, and we'll discuss another time</p>



<a name="189639149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639149">(Mar 03 2020 at 21:58)</a>:</h4>
<p>for the last 2 minutes</p>



<a name="189639157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639157">(Mar 03 2020 at 21:58)</a>:</h4>
<p>Yep. I'd like to carve out time to also start on recursive solver. We used to have one and I have a pretty complete sketch in my mind</p>



<a name="189639164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639164">(Mar 03 2020 at 21:58)</a>:</h4>
<p>just a note that we're halfway done with the sprint :)</p>



<a name="189639179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639179">(Mar 03 2020 at 21:59)</a>:</h4>
<p>only halfway? feels like we're nearly done</p>



<a name="189639193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639193">(Mar 03 2020 at 21:59)</a>:</h4>
<p>Sprint ends March 24</p>



<a name="189639199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639199">(Mar 03 2020 at 21:59)</a>:</h4>
<p>3 weeks</p>



<a name="189639218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639218">(Mar 03 2020 at 21:59)</a>:</h4>
<p>(with the amount of work being done, but I guess there's still a lot left)</p>



<a name="189639234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639234">(Mar 03 2020 at 21:59)</a>:</h4>
<p>Things "left" in the sprint</p>



<a name="189639240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639240">(Mar 03 2020 at 21:59)</a>:</h4>
<p>1) <code>impl Trait</code></p>



<a name="189639253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639253">(Mar 03 2020 at 22:00)</a>:</h4>
<p>2) <span class="user-mention" data-user-id="198819">@David Barsky</span> with tracing</p>



<a name="189639305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639305">(Mar 03 2020 at 22:00)</a>:</h4>
<p>3) Finishing <code>Interner</code> refactor</p>



<a name="189639323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639323">(Mar 03 2020 at 22:00)</a>:</h4>
<p>one thing: I'd like to make "update the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html" target="_blank" title="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a>" with progress and new plans be part of this meeting, so if people have suggested for details or how to restructure, I'm all ears (feel free to tell me this thing is not that useful :) but I';m finding it helpful at least as I feel a bit more "on top" of what's going on)</p>



<a name="189639354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639354">(Mar 03 2020 at 22:00)</a>:</h4>
<p>Yeah, I like the skill tree</p>



<a name="189639356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639356">(Mar 03 2020 at 22:00)</a>:</h4>
<p>one other thing worth mentioning: I've been talking some to <span class="user-mention" data-user-id="119009">@eddyb</span> (known zulip hater) about some of the work they've been contemplating on rustc's trait system</p>



<a name="189639377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639377">(Mar 03 2020 at 22:01)</a>:</h4>
<p>and I'd like to try and draw some of that work together here and coordinate</p>



<a name="189639382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639382">(Mar 03 2020 at 22:01)</a>:</h4>
<p>(also it's 5 for anyone who has to leave. Thanks for attending!)</p>



<a name="189639393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639393">(Mar 03 2020 at 22:01)</a>:</h4>
<p>(I think it fits fairly well into this general plan of "move rustc and chalk closer together")</p>



<a name="189639403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639403">(Mar 03 2020 at 22:01)</a>:</h4>
<p>For sure</p>



<a name="189639408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639408">(Mar 03 2020 at 22:01)</a>:</h4>
<p>I actually have a hard stop today, good chat today y'all</p>



<a name="189639431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639431">(Mar 03 2020 at 22:01)</a>:</h4>
<p>(just that rendering is broken when I view it in Firefox)</p>



<a name="189639486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639486">(Mar 03 2020 at 22:02)</a>:</h4>
<p>heh I'd love to spend some time also making it look beautiful</p>



<a name="189639491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639491">(Mar 03 2020 at 22:02)</a>:</h4>
<p>except I know that is an endless yak shave</p>



<a name="189639900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639900">(Mar 03 2020 at 22:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/blob/master/minutes/design-2020-03-03.md" target="_blank" title="https://github.com/rust-lang/wg-traits/blob/master/minutes/design-2020-03-03.md">minutes for this meeting</a></p>



<a name="189639997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189639997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189639997">(Mar 03 2020 at 22:08)</a>:</h4>
<p>Thank you <span class="user-mention" data-user-id="125131">@detrumi</span> !</p>



<a name="189640282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189640282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189640282">(Mar 03 2020 at 22:13)</a>:</h4>
<p>o/</p>



<a name="189731312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.03/near/189731312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03.html#189731312">(Mar 04 2020 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189639356" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E03/near/189639356">said</a>:</p>
<blockquote>
<p>one other thing worth mentioning: I've been talking some to <span class="user-mention silent" data-user-id="119009">eddyb</span> (known zulip hater) about some of the work they've been contemplating on rustc's trait system</p>
</blockquote>
<p>hey now I only had Zulip hidden because I was drafting some stuff related to the trait system :P</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>